slicing criterion meaning in English

分片判据

When slicing criterion is extracted from the property to be verified according some rules , the sliced eha and the original one are equivalent to the property
当按一定规则从被验证的性质中提取切片准则时，该算法能保证切片后的eha与原模型对性质具有相同的满足性。
We define a set of dependence relations through analyzing the characteristics such as hierarchy , concurrent and synchronization in eha . the algorithm of slicing eha from the slicing criterion composed of states and transitions is presented
本文通过分析eha中存在的层次、并发和同步等特征定义了一组依赖关系，对于由状态和迁移组成的切片准则，提出对eha进行切片的算法。
Program slicing is an important technique to analyze and understand programs . a program slice s is composed of a set of statements in program p which can influence the value of a variables named v at a special program point n , in which ( n , v ) is named as slicing criterion
程序分片是一种重要的程序分析理解方法,用于从源程序中抽取对程序中特定点上的特定变量有影响的语句和控制条件,组成新的程序(称作分片) ,然后通过分析分片来分析源程序的行为。